https://dasbestelexikon.de/nl/wiki/Vacuümpomp